(1
)
.
(2)
a
k
= e
implies
|a|
divides
k
.